$\vdash$  SQType($\mathbb{N}$)